首页> 外文OA文献 >Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems

【2h】

Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems

机译：将资源安全验证与嵌入式系统可执行模型开发相结合

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Jianliang Yi; Honguk Woo; James C. Browne; Aloysius K. Mok; Fei Xie; Ella Atkins; Chan-gun Lee;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Integrating safety analysis into the model-based development toolchain of automotive embedded systems [J] . Biehl Matthias, DeJiu Chen, T?rngren Martin ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2010,第4期

机译：将安全分析集成到汽车嵌入式系统基于模型的开发工具链中
2. A model-based framework for software portability and verification in embedded power management systems [J] . Fathabadi Asieh Salehi, Butler Michael J., Yang Sheng, Journal of systems architecture . 2018,第期

机译：嵌入式电源管理系统中的软件便携性和验证的基于模型的框架
3. Harmonization of IEEE 1012 and IEC 60880 standards regarding verification and validation of nuclear power plant safety systems software using model-based methodology [J] . Rudakov Stanislav, Dickerson Charles E. Progress in Nuclear Energy . 2017,第auga期

机译：使用基于模型的方法对核电厂安全系统软件的验证和确认进行IEEE 1012和IEC 60880标准的协调
4. Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems [C] . Jianliang Yi, Honguk Woo, James C. Browne, IEEE Real-Time and Embedded Technology and Applications Symposium . 2008

机译：将资源安全验证合并到嵌入式系统的可执行模型的开发
5. Safety-assured model-based development of real-time embedded software for the GPCA infusion pump [D] . Kim, BaekGyu 2015

机译：基于安全性模型的GPCA输液泵实时嵌入式软件开发
6. Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices [O] . Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, 2021

机译：基于知识的基于知识编程模式的验证受到资源受限嵌入式设备的自然语言的启发
7. A Hybrid Framework for Resource Verification in Executable Model-based Embedded System Development [O] . Honguk Woo, Aloysius K. Mok, James C. Browne 2012

机译：基于可执行模型的嵌入式系统开发中用于资源验证的混合框架

Incorporating Resource Safety Verification to Executable Model-based Development for Embedded Systems

著录项

引文网络

相似文献

相关主题

期刊订阅